formal procedure

См. также в других словарях:

• procedure — noun ADJECTIVE ▪ complex, complicated ▪ simple, straightforward ▪ common, correct, normal, proper, recommended …   Collocations dictionary

• procedure — pro·ce·dure /prə sē jər/ n 1: one or more methods or steps for the enforcement or administration of rights, duties, justice, or laws civil procedure police procedure compare procedural law …   Law dictionary

• procedure — pro‧ce‧dure [prəˈsiːdʒə ǁ ər] noun [countable, uncountable] the official or accepted way of doing something, especially something that is done often: • We have hired an accounting firm to evaluate our audit procedures. procedure for • The bank… …   Financial and business terms

• Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

• Procedure word — Procedure words or prowords are words or phrases limited to radio telephone procedure used to facilitate communication by conveying information in a condensed standard form. [1] Contents 1 Universal prowords 1.1 SEND …   Wikipedia

• formal rulemaking — n: rulemaking by a government agency that is on the record after an opportunity for an agency hearing in accordance with the formal procedures set forth in sections 556 and 557 of the Administrative Procedure Act compare informal rulemaking ◇… …   Law dictionary

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

• Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …   Wikipedia

• Formal ontology — A Formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased (domain and application independent) view on reality. Formal ontologies are founded upon a… …   Wikipedia

• formal — formal1 formalness, n. /fawr meuhl/, adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects. 2. marked by form or ceremony: a formal occasion. 3. designed for wear or use at occasions or …   Universalium